Automatic generation produced by ISE Eiffel
indexing
description: "Objects that represent directories which have to be sorted"
author: "Marko Ristin"
date: "$Date$"
revision: "$Revision$"
class interface
DIRECTORY_COLLECTION
create
make,
from_path_list
feature -- Initialization
from_path_list (a_path_list: LIST [STRING])
-- loads directories from path,
-- non-existent directories will be ignored
require
a_path_list_exists: a_path_list /= Void
feature -- Access
sum_of_sizes: REAL
-- returns sum of sizes of all directories
ensure
result_not_negative: Result >= 0
find_next_directory_to_size (a_size: REAL): INTEGER
-- finds directory which size is next to a given size;
-- if there's a such directory, item will be set on it and result is its index;
-- if index = 0 then all the directories are bigger than the given size.
require
a_size_exists: a_size /= Void
ensure
item_pointer_set: Result = 0 or index = Result
result_not_negative: Result >= 0
exclude_bigger_than (a_size: REAL): DIRECTORY_COLLECTION
-- excludes directories bigger than a_size;
-- return a directory collection of returned directories
require
a_size_positive: a_size > 0
end -- class DIRECTORY_COLLECTION
-- Generated by ISE Eiffel --
For more details: www.eiffel.com